Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
611	Algorithmic Verification The software crisis (and hardware as well) Algorithmic Verification Comp4151 Lecture 1-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Model checking Ansgar Lock Communications protocol Thread Critical section Concurrency control Computing Mutual exclusion
612	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-05-25 19:52:52 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
613	Introduction LTL model checking CTL model checking Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-01 22:24:18 Formal methods Theoretical computer science Model checkers Logic in computer science Kripke structure PAT Binary decision diagram Turing Award Algorithm Model checking Mathematics Temporal logic
614	Symbolic Execution of Distributed Software MEng Final Report Written by Milen Dzhumerov Supervisor: Peter Pietzuch Second Supervisor: Cristian Cadar Add to Reading List Source URL: assets.milen.me Language: English - Date: 2015-03-09 10:58:44 Distributed computing Model checking File system Symbolic execution
615	Overview Modelling Algorithmic Verification Comp4151 Lecture 5-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Binary decision diagram Model checking Artificial neuron Theoretical computer science Applied mathematics Assembly languages Propositional directed acyclic graph COMPASS/Sample Code Boolean algebra Diagrams Mathematics
616	FM 2014 Program Book Welcome Message from the Organising Committee Welcome to FM2014! Welcome to Singapore! This is the nineteenth in a series of symposia organised by Formal Methods Europe, this is its first time in As Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2014-05-08 02:42:02 Applied mathematics Logic in computer science Model checkers Model checking Formal verification Uppaal Model Checker Verification COM Path Systems engineering Formal methods Science
617	Event-Based Runtime Verification of Java Programs Marcelo d’Amorim ∗ † Kestrel Technology Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:19 Formal methods Logic in computer science Cross-platform software Temporal logic AWK Runtime verification Model checking Modal logic Formal verification Computing Software engineering Software
618	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Model theory Metalogic Structure Valuation Abstract algebra Mathematics Algebra
619	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-11-27 02:42:43 Computer science Tree automaton I/O Automaton Finite-state machine Message Passing Interface Model checking Automata theory Computing Theoretical computer science
620	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic

UPDATE